Rule-based validation of SLA choreographies
نویسندگان
چکیده
منابع مشابه
construction and validation of a computerized adaptive translation test (a receptive based study)
آزمون انطباقی رایانه ای (cat) روشی نوین برای سنجش سطح علمی دانش آموزان می باشد. در حقیقت آزمون های رایانه ای با سرعت بالایی به سمت و سوی جایگزین عملی برای آزمون های کاغذی می روند (کینگزبری، هاوسر، 1993). مقاله حاضر به دنبال آزمون انطباقی رایانه ای برای ترجمه می باشد. بدین منظور دو پرسشنامه مشتمل بر 55 تست ترجمه میان 102 آزمودنی و 10 مدرس زبان انگلیسی پخش گردید. پرسشنامه اول میان 102 دانشجوی س...
Rule-Based Requirements Specification and Validation
Requirements specification has only recently been acknowledged as one of the most important phases in the overall software life cycle. Since the statement of a complete and consistent set of requirements involves user participation, our approach investigates how user oriented formalisms and techniques could be employed for the specification and capturing of requirements. We propose the use of r...
متن کاملValidation and Verification Policies for Governance of Service Choreographies
The Future Internet (FI) sustains the emerging vision of a software ecosystem in which pieces of software, developed, owned and run by different organizations, can be dynamically discovered and bound to each other so to readily start to interact. Nevertheless, without suitable mechanisms, paradigms and tools, this ecosystem is at risk of tending towards chaos. Indeed the take off of FI passes t...
متن کاملValidation of Rule-based Systems Generated by Classification Algorithms
Validation of a knowledge base is an important aspect of the knowledge-based systems (KBS) development procedure, which aims to assure the system’s ability to reach correct results. Very promising seems to be knowledge-bases (KBs) generated by classification algorithms as an example of machine-learning approach. The paper addresses the issues of verification and evaluation of KBs existing as ru...
متن کاملTowards Validation of Rule-Based Systems - The Loop is Closed
A methodology forthe validation of rule-based expert systems i presented as a 5-step process that has three central themes: (1) creation a minimal set of test inputs that cover the domain, (2) a Turing Test-like m thodology that evaluates the system’s responses to the test inputs and compares itto the responses ofhuman experts, and (3) use the validation results for system improvement. This met...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Supercomputing
سال: 2010
ISSN: 0920-8542,1573-0484
DOI: 10.1007/s11227-010-0492-1